End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
نویسندگان
چکیده
We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their
منابع مشابه
Secure Routing Protocol: Affection on MANETs Performance
In mobile ad hoc networks, the absence ofinfrastructure and the consequent absence of authorizationfacilities impede the usual practice of establishing a practicalcriterion to distinguishing nodes as trusted and distrusted.Since all nodes in the MANETs would be used as router inmulti-hop applications, secure routing protocols have vital rulein the security of the network. So evaluating the perf...
متن کاملRisk Analysis and Economic Load Dispatch Evaluation of Network with High Wind Power Penetration
This study based on investigation for integration wind power into conventional power system with its impact on fossil fuel generators and their generation management. Wind power as environmental friendly energy source can reduce the operational cost of the system due to considering no cost for energizing the generator in comparing with fossil fuel generators. However due to unpredictable nature...
متن کاملChoreographing security and performance analysis
We present a novel method of assuring security and performance demands on systems based on automated analysis of UML model descriptions. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the ...
متن کاملIntegrated Characterization and a Tuning Strategy for the PVT Analysis of Representative Fluids in a Gas Condensate Reservoir
Gas condensate reservoirs are characterized by a distinctive retrograde behavior and potential for condensate drop out during production and sampling. Efficient modeling of gas condensate reservoir requires careful phase behavior studies of samples collected prior to and during the production life of reservoir. In this work, an integrated characterization and tuning algorithm is proposed to ana...
متن کاملTOEFL iBT integrated speaking tests: a comparison of test-takers' performance in terms of complexity, accuracy, and fluency
This study compares three integrated tasks of the TOEFL iBT speaking subtest in terms of complexity, accuracy, and fluency. To this end, a group of TOEFL iBT Iranian candidates took a simulated TOEFL iBT some days prior to their real exam. The collected oral responses were first transcribed and then quantified using software such as ‘Syllable Counter’ and ‘Coh-Metrix3’ for fluency and complexit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005